Prolegomena of a Logic of Causality and Dynamism
نویسندگان
چکیده
We present in this article a new logical system inspired from linear logic. This system is designed in order to express causality and dynamism. The cut elimination theorem holds for this logic. Examples of applications are given.
منابع مشابه
Prolegomena to Logic Programming for Non-monotonic Reasoning Prolegomena to Logic Programming for Non{monotonic Reasoning
The present prolegomena consist, as all indeed do, in a critical discussion serving to introduce and interpret the extended works that follow in this book. As a result, the book is not a mere collection of excellent papers in their own specialty, but provides also the basics of the motivation, background history, important themes, bridges to other areas, and a common technical platform of the p...
متن کاملA Study on the Causes of Corruption Control at the Macro Level Based on Fuzzy Logic
Corruption as one of the realities of today's society has had unprecedented growth in the administrative, political and economic systems of the world and according to the International Transparency Institute, no region or country in the world is immune to corruption. In this article, with theoretical speculations, we are looking for a comparative study of the necessary and sufficient conditions...
متن کاملTowards safe and efficient functional reactive programming
Functional Reactive Programming (FRP) is an approach to reactive programming where systems are structured as networks of functions operating on time-varying values (signals). FRP is based on the synchronous data-flow paradigm and supports both continuous-time and discretetime signals (hybrid systems). What sets FRP apart from most other reactive languages is its support for systems with highly ...
متن کاملEvaluation of Strategic Performance with Fuzzy Data Envelopment Analysis
This study intends to expand a set of proper performance evaluation indices which embraces strategies for sustaining top performance using SWOT analysis inside a balanced scorecard (BSC) outline for the large commercial bank branches in IRAN by operating a fuzzy Data Envelopment Analysis (FDEA). Through literature reviews and the banks’ experts and managers opinions and who have real practical ...
متن کاملMichael Friedman Laws of Nature and Causal Necessity
This paper consider the necessity of causal laws of nature in relation to Kant’s works explicitly addressed to natural science (such as the Prolegomena and the Metaphysical Foundations of Natural Science), and also to the second edition of the Transcendental Deduction and the Critique of the Power of Judgement.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Studia Logica
دوره 62 شماره
صفحات -
تاریخ انتشار 1999